Toward a Modeling Language Standard for Hybrid Dynamical Systems
نویسنده
چکیده
A rigorous means for modeling and evaluating hybrid systems is needed for the efficient and cost-effective development of embedded real-time software for a wide variety of applications (weapons, manufacturing, intelligent vehicles, process control, . . . ). The development of a standard hybrid systems modeling language (SHSML) and corresponding rigorous simulation environments represent important contributions to fulfilling this requirement.
منابع مشابه
Functional Hybrid Modeling from an Object-Oriented Perspective
The modeling and simulation of physical systems is of key importance in many areas of science and engineering, and thus can benefit from high-quality software tools. In previous research we have demonstrated how functional programming can form the basis of an expressive language for causal hybrid modeling and simulation. There is a growing realization, however, that a move toward non-causal mod...
متن کاملHydLa: A High-Level Language for Hybrid Systems
Hybrid systems are dynamical systems with continuous evolution of states and discrete evolution of states and governing equations. We have been working on the design and implementation of HydLa, a constraint-based modeling language for hybrid systems, with a view to the proper handling of uncertainties and the integration of simulation and verification. HydLa’s constraint hierarchies facilitate...
متن کاملDiscrete-time Hybrid Modeling and Verification of the Batch Evaporator Process Benchmark
For hybrid systems described by interconnections of linear discrete-time dynamical systems, automata, and propositional logic rules, we recently proposed the Mixed Logical Dynamical (MLD) systems formalism and the language HYSDEL (Hybrid System Description Language) as a modeling tool. For MLD models, we developed a reachability analysis algorithm which combines forward reach set computation an...
متن کاملUsing a Discrete-Event System Specifications (DEVS) for designing a Modelica compiler
We introduce a new architecture for the design of a tool for modeling and simulation of continuous and hybrid systems. The environment includes a compiler based on Modelica, a modular and a causal standard specification language for physical systems modeling (the tool supports models composed using certain component classes defined in the Modelica Standard Library, and the instantiation, parame...
متن کاملUsing OpenMVLShell in Research and Education
OpenMVL Project is considered by author as the starting point of discussion and the first executed step in the direction of the new standard for tools for modeling and simulation of complex dynamical systems (CDS). OpenMVLShell is the open source software for comparison different approaches to the problem of designing modern environments for CDS modeling and simulation first of all. However it ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005